Dynamic Logic. New Trends and Applications - First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings
- Författare
- (Edited by Alexandre Madeira, Mário Benevides.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer International Publishing, Imprint: Springer | 2018 | Tyskland, Cham | IX, 201 sidor. 25 illus. online resource. | 978-3-319-73579-5 |